Skip to content

Comments

Add pip artifacts to gitignore#43

Merged
saraedum merged 1 commit intoflatsurf:masterfrom
saraedum:ignore
Nov 29, 2025
Merged

Add pip artifacts to gitignore#43
saraedum merged 1 commit intoflatsurf:masterfrom
saraedum:ignore

Conversation

@saraedum
Copy link
Member

No description provided.

@saraedum saraedum enabled auto-merge November 29, 2025 11:09
@saraedum saraedum merged commit 0632c53 into flatsurf:master Nov 29, 2025
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant